lượng từ (logic)
- quantifier: (logic học) phép lượng hoábounded q. phép lượng hoá bị chặnexistential q. phép lượng hoá tồn tạigenerality q. phép lượng hoá phổ dụnguniversal q. phép lượng hoá phổ dụngTừ điển kỹ thuậtlượng từLĩnh
- bounded quantifier: Từ điển kỹ thuậtlượng hóa bị chặn
- existential quantifier: Từ điển kỹ thuậtlượng hóa tồn tạisymbol of existential quantifierký hiệu lượng hóa tồn tại
